Trust and Norms in the Context of Computer Security: A Logical Formalization
نویسندگان
چکیده
In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of trust is presented. We distinguish trust in the trustee’s action from trust in the trustee’s disposition (motivational or normative disposition); positive trust from negative trust. A part of the paper is devoted to the formalization of security properties and to the analysis of their relationships with trust.
منابع مشابه
A New Framework for Secure Routing in VANET
Vehicular Ad-Hoc Networks can enhance road safety and enable drivers to avoid different threats. Safety applications, mobile commerce, and other information services are among different available services that are affected by dynamic topology, vehicle’s speed and node misbehaving. Dynamic topology makes the route unstable and unreliable. So, improving the throughput and performance of VANET thr...
متن کاملEvaluation of social livability components and their interpretive structural modeling, case study: Qaen city
Introduction In the current century, known as the century of cities, a significant part of the world's population lives in cities and the trend of increasing urbanization continues. In such circumstances, the important question is to what extent cities are suitable places for human life. Hence, the concept of urban livability and livable city has become one of the most widely used concepts in...
متن کاملA Trust Based Probabilistic Method for Efficient Correctness Verification in Database Outsourcing
Correctness verification of query results is a significant challenge in database outsourcing. Most of the proposed approaches impose high overhead, which makes them impractical in real scenarios. Probabilistic approaches are proposed in order to reduce the computation overhead pertaining to the verification process. In this paper, we use the notion of trust as the basis of our probabilistic app...
متن کاملA Novel Trust Management Model in the Social Internet of Things
The Internet of Things (IoT) and social networking integration, create a new concept named Social Internet of Things (SIoT) according to which the things are able to autonomously establish social relationships with regard to the owners. Things in SIoT operate according to a service-oriented architecture. There may be misbehaving owners and consequently misbehaving devices that can perform harmf...
متن کاملCloud security architecture – from process to deployment
The Trust Engine concept and logical cloud security architecture presented in this paper provide cloud vendors, service providers and tenants with a framework to clearly and efficiently discuss security threats, risks, controls, compliance and other security requirements within the cloud context.
متن کامل